The Formalisation of Physics
نویسنده
چکیده
This document provides an example illustrating a method of formalising physical theories, together with a discussion of some aspects of semantic positivism. Created 2004/07/15 Last Change Date: 2009-05-21 08:59:45 http://www.rbjones.com/rbjpub/pp/doc/t002.pdf Id: t002.doc,v 1.7 2009-05-21 08:59:45 rbj Exp c © Roger Bishop Jones; Licenced under Gnu LGPL
منابع مشابه
An Isabelle/HOL Formalisation of Green's Theorem
We formalise a statement of Green’s theorem in Isabelle/HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. An interesting aspect of our formalisation is that we neither formalise orientations nor region boundaries explicitly, with respect to the outwards-pointing normal vector. I...
متن کاملA Logical Formalisation of Ernie Davis’s Egg Cracking Problem
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to formalise object-level theories of common sense. In the spirit of Pat Hayes’s Naive Physics Manifesto, the present paper supplies a formalisation of a non-trivial benchmark problem in common sense physical reasoning, na...
متن کاملAn attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to formalise object-level theories of common sense. In the spirit of Pat Hayes’s Naive Physics Manifesto, the present paper supplies a formalisation of a non-trivial benchmark problem in common sense physical reasoning, na...
متن کاملDialogue frames in conflict resolution
This paper discusses a number of ways of classifying inter-agent conflict, and offer an overview of the informal dialogue typology proposed by Walton and Krabbe [13]. A formalisation of this typology is summarised, and the account is shown to facilitate a coherent approach to the various classes of conflict.
متن کاملDependency Formalisation for Improved Learning Processes
This paper describes dependencies between knowledge artefacts and how their formalisation can improve some kinds of extremely goal-oriented learning processes. As yet, this kind of learning is already performed by researchers and students, but without formalisation. The paper proceeds with an analysis of requirements for tools for dependency formalisation. As a very domain-specific example, it ...
متن کامل